Foundations Of Mathematics And Homotopy Theory